#define _CRT_SECURE_NO_WARNINGS 1

//#include<stdio.h>
//
//struct Stu
//{
//	int a;
//	char ch;
//	char name[10];
//};
//
//int main()
//{
//	struct Stu S = { 10,'a' ,"zhangsan"};
//	S.ch = 'b';
//	//S.name = "lishi";
//
//	return 0;
//}

//#include<stdio.h>
//
//struct
//{
//	int a;
//	int b;
//}x;
//
//struct
//{
//	int c;
//	int d;
//} *p;
//
//int main()
//{
//	p = &x;
//}


//#include<stdio.h>
//
//struct S
//{
//	int data[1000];
//	int num;
//};
//
//void Print1(struct S s)
//{
//	printf("%d\n", s.num);
//}
//
//void Print2(struct S* s)
//{
//	printf("%d\n", s->num);
//}
//
//
//int main()
//{
//	struct S s = { {1,2,3,4,5},10 };
//	Print1(s);
//	Print2(&s);
//
//	return 0;
//}

//#include<stdio.h>
//
//struct S1
//{
//    char c1;
//    int i;
//    char c2;
//};
//
//struct S2
//{
//    int a;
//    char b;
//    struct S1;
//};
//
//int main()
//{
//    printf("%d\n", sizeof(struct S2));
//
//    return 0;
//}

//#include<stdio.h>
//
//struct A
//{
//	int _a : 2;
//	int _b : 5;
//	int _c : 10;
//	int _d : 30;
//};
//
//int main()
//{
//	printf("%d\n", sizeof(struct A));
//
//	return 0;
//}

//#include<stdio.h>
//
//struct A
//{
//	char _a : 2;
//	char _b : 5;
//	char _c : 6;
//	char _d : 5;
//};
//
//int main()
//{
//	printf("%d\n", sizeof(struct A));
//
//	return 0;
//}

#include<stdio.h>

int main()
{
    int a = 0;
    scanf("%d", &a);
    int count = 0;
    for (int i = a; i <= a + 3; i++)
    {
        for (int j = a; j <= a + 3; j++)
        {
            if (i == j)
                continue;
            else
            {
                for (int k = a; k <= a + 3; k++)
                {
                    if (i == k || j == k)
                        continue;
                    else
                    {
                        count++;
                        if (count == 6)
                        {
                            printf("%d%d%d\n", i, j, k);
                            count = 0;
                        }
                        else
                        {
                            printf("%d%d%d ", i, j, k);
                        }
                    }
                }
            }
        }
    }
}

